24

Quasi-Lie schemes and Emden–Fowler equations

Year:
2009
Language:
english
File:
PDF, 441 KB
english, 2009
27

Foundations of a theorem prover for functional and mathematical uses

Year:
1993
Language:
english
File:
PDF, 1.40 MB
english, 1993
33

Taking Options and Decisions

Year:
2012
Language:
english
File:
PDF, 1.40 MB
english, 2012